Initial Knowledge Representation Formalism
نویسندگان
چکیده
for dissemination) This document describes a recommended knowledge representation formalism that meets the requirements of LarKC. More specifically it provides an analysis of requirements stemming from the use cases in the project and surveys the landscape of existing knowledge representation languages on the Semantic Web. Furthermore it examines systems that are able to perform inference at a large scale. Based on these results it proceeds to define its two main contributions: (i) A framework that allows for the specification of languages within the established Semantic Web language stack by providing the used vocabulary along with a set of entailment rules, and (ii) a recommended language that goes slightly beyond RDFS and allows two slightly different semantics according to the specific requirements in a scenario. This language was determined based on both theoretical complexity results and practicability of its implementation i.e. in existing inference systems. It is balanced around two goals: To guarantee a baseline of interoperability between different scenarios by means of a common language and by being open ended and lightweight enough to allow for use-case specific extensions within the defined framework, and by this means to support the open nature of the LarKC platform. As such it is a tractable minimal language that supports the overall vision of LarKC.
منابع مشابه
The NL2KR System
In this paper we will describe the NL2KR system that translates natural language sentences to a targeted knowledge representation formalism. The system starts with an initial lexicon and learns meaning of new words from a given set of examples of sentences and their translations. We will describe the first release of our system with several examples.
متن کاملReprésentation de connaissances complexes : Un formalisme à base de rôles sémantiques. (Complex knowledge representation: a formalism based on semantic roles)
The work presented in this thesis deals with knowledge representation. It forms part of the AMICAL project (Interactive Multi-agents Architecture Learning-to-Read Companion) whose purpose is the development of an computer-aided learning-to-read environment. This study focuses on the search for a semantic representation of texts used in learning sessions. The problem is to find a knowledge repre...
متن کاملAn Abstract Logical Approach to Characterizing Strong Equivalence in Logic-based Knowledge Representation Formalisms
We consider knowledge representation (KR) formalisms as collections of finite knowledge bases with a model-theoretic semantics. In this setting, we show that for every KR formalism there is a formalism that characterizes strong equivalence in the original formalism, that is unique up to isomorphism and that has a model theory similar to classical logic.
متن کاملA Fuzzy Frame-Based Knowledge Representation Formalism
This paper describes a formalism for representing imprecise knowledge which combines traditional frame-based formalisms with fuzzy logic and fuzzy IF-THEN rules. Inference in this formalism is based on unification and the calculus of fuzzy IF-THEN rules, and lends itself to an efficient implementation.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008